<p>Escaped HTML like &lt;div&gt; or &amp; should NOT remain escaped on output</p>
<pre>...even when that escaped HTML is in a &lt;pre&gt; tag</pre>
<code>...or a &lt;code&gt; tag</code>